Pierre Garoche: search on Z-Library

The world's largest scientific articles store. 70,000,000+ articles for free.

Don't use scam websites

1

SMT-AI: an Abstract Interpreter as Oracle for k-induction

Pierre Roux, Rémi Delmas, Pierre-Loïc Garoche

Journal:

Electronic Notes in Theoretical Computer Science

Year:

2010

Language:

english

File:

PDF, 453 KB

english, 2010

2

Towards Cooperation of Formal Methods for the Analysis of Critical Control Systems

Champion, Adrien, Delmas, Rémi, Garoche, Pierre-loïc, Roux, Pierre

Journal:

SAE International Journal of Aerospace

Year:

2011

Language:

english

File:

PDF, 2.90 MB

english, 2011

3

Verification and Validation of Convex Optimization Algorithms for Model Predictive Control

Cohen, Raphael, Feron, Eric, Garoche, Pierre-LoÃ¯c

Journal:

Journal of Aerospace Information Systems

Year:

2020

File:

PDF, 1.96 MB

2020

4

The effect of the heat treatment on the superconducting properties of fast quenched AlSi

Kuan Wei-Yen, Chen Sy-Sen, Yi Sun-Sheng, Wang Zu-Lun, Cheng Wu, Pierre Garoche

Journal:

Year:

1982

Language:

english

File:

PDF, 285 KB

english, 1982

5

The effect of the heat treatment on the superconducting properties of fast quenched AlSi

Kuan Wei-Yen, Chen Sy-Sen, Yi Sun-Sheng, Wang Zu-Lun, Cheng Wu, Pierre Garoche

Journal:

Year:

1982

Language:

english

File:

PDF, 332 KB

english, 1982

6

Improving the Al6Li3Cu quasicrystals by annealing treatments

Patricia Donnadieu, Kang Wang, Christophe Degand, Pierre Garoche

Journal:

Journal of Non-Crystalline Solids

Year:

1995

Language:

english

File:

PDF, 975 KB

english, 1995

7

[IEEE 21st IEEE/ACM International Conference on Automated Software Engineering (ASE'06) - Tokyo (2006.09.18-2006.09.22)] 21st IEEE/ACM International Conference on Automated Software Engineering (ASE'06) - Accurate Centralization for Applying Model Checking on Networked Applications

Artho, Cyrille, Garoche, Pierre-loic

Year:

2006

Language:

english

File:

PDF, 156 KB

english, 2006

8

Practical policy iterations

Roux, Pierre, Garoche, Pierre-Loïc

Journal:

Formal Methods in System Design

Year:

2015

Language:

english

File:

PDF, 1.21 MB

english, 2015

9

[ACM Press the 15th ACM international conference - Beijing, China (2012.04.17-2012.04.19)] Proceedings of the 15th ACM international conference on Hybrid Systems: Computation and Control - HSCC '12 - A generic ellipsoid abstract domain for linear time invariant systems

Roux, Pierre, Jobredeaux, Romain, Garoche, Pierre-Loïc, Féron, Éric

Year:

2012

Language:

english

File:

PDF, 957 KB

english, 2012

10

[ACM Press the 30th Annual ACM Symposium - Salamanca, Spain (2015.04.13-2015.04.17)] Proceedings of the 30th Annual ACM Symposium on Applied Computing - SAC '15 - Compilation of synchronous observers as code contracts

Dieumegard, Arnaud, Garoche, Pierre-Loïc, Kahsai, Temesghen, Taillar, Alice, Thirioux, Xavier

Year:

2015

Language:

english

File:

PDF, 835 KB

english, 2015

11

[ACM Press the 18th International Conference - Seattle, Washington (2015.04.14-2015.04.16)] Proceedings of the 18th International Conference on Hybrid Systems Computation and Control - HSCC '15 - Closed loop analysis of control command software

Roux, Pierre, Jobredeaux, Romain, Garoche, Pierre-Loïc

Year:

2015

Language:

english

File:

PDF, 627 KB

english, 2015

12

Credible autocoding of convex optimization algorithms

Wang, Timothy, Jobredeaux, Romain, Pantel, Marc, Garoche, Pierre-Loic, Feron, Eric, Henrion, Didier

Journal:

Optimization and Engineering

Year:

2016

Language:

english

File:

PDF, 1.35 MB

english, 2016

13

Automatic synthesis of k-inductive piecewise quadratic invariants for switched affine control programs

Adjé, Assalé, Garoche, Pierre-Loïc

Journal:

Computer Languages, Systems & Structures

Year:

2015

Language:

english

File:

PDF, 1.38 MB

english, 2015

14

[American Institute of Aeronautics and Astronautics AIAA Information Systems-AIAA Infotech @ Aerospace - Grapevine, Texas ()] AIAA Information Systems-AIAA Infotech @ Aerospace - Validation of Convex Optimization Algorithms and Credible Implementation for Model Predictive Control

Feron, Eric M., Cohen, Raphael P., Davy, Guillaume, Garoche, Pierre-Loic

Language:

english

File:

PDF, 3.59 MB

english

15

A Sums-of-Squares extension of policy iterations

Adjé, Assalé, Garoche, Pierre-Loïc, Magron, Victor

Journal:

Nonlinear Analysis Hybrid Systems

Year:

2017

Language:

english

File:

PDF, 666 KB

english, 2017

16

Formal Verification for Embedded Implementation of Convex Optimization Algorithms

Cohen, Raphael, Davy, Guillaume, Feron, Eric, Garoche, Pierre-Loïc

Journal:

IFAC-PapersOnLine

Year:

2017

Language:

english

File:

PDF, 916 KB

english, 2017

17

Formal Methods for the Analysis of Critical Control Systems Models: Combining Non-Linear and Linear Analyses

Champion, Adrien, Delmas, Rémi, Dierkes, Michael, Garoche, Pierre-loic, Jobredeaux, Romain, Roux, Pierre

Journal:

SAE International Journal of Aerospace

Year:

2013

Language:

english

File:

PDF, 3.71 MB

english, 2013

18

[IEEE 2018 Forum on specification & Design Languages (FDL) - Garching (2018.9.10-2018.9.12)] 2018 Forum on Specification & Design Languages (FDL) - Preserving Functional Correctness of Cyber-Physical System Controllers: From Model to Code

Davy, Guillaume, Garion, Christophe, Garoche, Pierre- Loic, Roux, Pierre, Thirioux, Xavier

Year:

2018

Language:

english

File:

PDF, 495 KB

english, 2018

19

Semidefinite Approximations of Reachable Sets for Discrete-time Polynomial Systems

Magron, Victor, Garoche, Pierre-Loic, Henrion, Didier, Thirioux, Xavier

Journal:

SIAM Journal on Control and Optimization

Year:

2019

Language:

english

File:

PDF, 1.60 MB

english, 2019

20

[IEEE 2018 IEEE Conference on Decision and Control (CDC) - Miami Beach, FL (2018.12.17-2018.12.19)] 2018 IEEE Conference on Decision and Control (CDC) - Credible Autocoding of The Ellipsoid Algorithm Solving Second-Order Cone Programs

Cohen, Raphael, Feron, Eric, Garoche, Pierre-Loic

Year:

2018

Language:

english

File:

PDF, 1.07 MB

english, 2018

21

Formal Verification of Control Systems Software || Contents

Garoche, Pierre-Loïc

Year:

2019

File:

PDF, 108 KB

2019

22

Formal Verification of Control Systems Software || 9. Floating-point Semantics of Analyzed Programs

Garoche, Pierre-Loïc

Year:

2019

File:

PDF, 419 KB

2019

23

Formal Verification of Control Systems Software || 3. Control Systems

Garoche, Pierre-Loïc

Year:

2019

Language:

english

File:

PDF, 351 KB

english, 2019

24

Formal Verification of Control Systems Software || 7. System-level Properties as Numerical Invariants

Garoche, Pierre-Loïc

Year:

2019

File:

PDF, 423 KB

2019

25

Formal Verification of Control Systems Software || 2. Formal Methods: Different Approaches for Verification

Garoche, Pierre-Loïc

Year:

2019

Language:

english

File:

PDF, 402 KB

english, 2019

26

Formal Verification of Control Systems Software || 10. Convex Optimization and Numerical Issues

Garoche, Pierre-LoÃ¯c

Year:

2019

File:

PDF, 384 KB

2019

27

[IEEE 2020 IEEE 28th International Requirements Engineering Conference (RE) - Zurich, Switzerland (2020.8.31-2020.9.4)] 2020 IEEE 28th International Requirements Engineering Conference (RE) - The Ten Lockheed Martin Cyber-Physical Challenges: Formalized, Analyzed, and Explained

Mavridou, Anastasia, Bourbouh, Hamza, Giannakopoulou, Dimitra, Pressburger, Thomas, Hejase, Mohammad, Garoche, Pierre-Loic, Schumann, Johann

Year:

2020

File:

PDF, 445 KB

2020

To build up a library is to create a life. It’s never just a random collection of books.

— Carlos María Domínguez

Official channel

Z-Library Desktop Launcher

Z-Library Since 2009 support@z-lib.do

EnglishРусскийEspañolItalianoελληνικάاللغة العربيةBahasa IndonesiaBahasa Malaysiaहिन्दीDeutschFrançaisPortuguêsУкраїнськаPolski中文繁體中文日本語Tiếng ViệtAzərbaycan DiliՀայոց լեզուภาษาไทยTürk Diliქართველიবাংলাپښتوతెలుగుاردو한국어SrpskiБългарски